#include<stdio.h>
int main()
{
int a=0;
scanf("%d",&a);
if(a%35==0)
{
printf("YES\n");
}
else
{
printf("NO\n");
}
}
